KNOWLEDGE ENGINEERING METHODS IN DISTRIBUTED EDUCATIONAL CONTENT DESIGN

Sharing engineering design knowledge in a distributed environment

Engineering design is a complex activity, relying heavily on know-how gained from personal experience. Competitive pressures and new technology are making further demands on the skills and experience of designers, as effective knowledge reuse in design is seen as increasingly vital, and the work of design teams is often a collaborative and distributed activity. University students with a thorou...

Checking Distributed Software Engineering Content

We describe the foundations of xlinkit, a technology for checking the consistency and linking the elements of distributed, heterogenous XML documents, and its application to software engineering. We do so by providing a formal semantics for a rule language which relates document elements and by showing how we used the language to express the constraints of the UML Core package. We outline how w...

Civil Engineering Design Content

Engineering Methods of Control Design for Distributed Parameter Systems

In the paper engineering methods for control of distributed parameter systems given by numerical structures on complex shape 3D definition domains are presented. Controlled systems are interpreted as lumped-input/distributed-output systems. Schemes of distributed parameter control loops are arranged. A web-based control design environment from www.dpscontrol.sk will be introduced: Distributed P...

Formal methods in knowledge engineering

This paper presents a general discussion of the role of formal methods in Knowledge Engineering. We give an historical account of the development of the eld of Knowledge Engineering towards the use of formal methods. Subsequently, we discuss the pro's and cons of formal methods. We do this by summarising the proclaimed advantages, and by arguing against some of the commonly heard objections aga...